Software bug - PDFSEARCH.IO - Document Search Engine

Software bug
Results: 2336

#	Item
461	Pip: Detecting the Unexpected in Distributed Systems Patrick Reynolds Janet Wiener Amin Vahdat Jeff Mogul Duke University Add to Reading List Source URL: issg.cs.duke.edu Language: English - Date: 2005-05-03 10:43:07 Cache Shortest path problem Server Applied mathematics Theoretical computer science Mathematics Software bug
462	software construction Editors: Andy Hunt and Dave Thomas ■ The Pragmatic Programmers a n d y @ p r a g m a t i c p r o g r a m m e r. c o m ■ d a v e @ p r a g m a t i c p r o g r a m m e r. c o m Zero-Tolerance Cons Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2007-10-31 17:44:24 Kludge Software bug Software development process Hacker X Window System Computing Software Software quality
463	Finding Error Handling Bugs in OpenSSL using Coccinelle Julia Lawall∗ , Ben Laurie† , Ren´e Rydhof Hansen‡ , Nicolas Palix∗ and Gilles Muller§ ∗ University of Copenhagen, Email: {julia,npalix}@diku.dk † Goo Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:56 Source code Subroutines Cryptographic software OpenSSL Coccinelle Python Software bug Main function Printf format string Computer programming Computing Software engineering
464	Perl versiondocumentation - perl5163delta NAME perl5163delta - what is new for perl v5DESCRIPTION Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 14:54:36 Perl Cross-platform software CPAN Software bug Outline of Perl Perl 6 Computing Software engineering Computer programming
465	Saturn: A SAT-based Tool for Bug Detection? Yichen Xie and Alex Aiken Computer Science Department Stanford University {yxie,aiken}cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-05-20 18:05:46 Formal methods Electronic design automation Logic in computer science NP-complete problems Model checking Data types Boolean satisfiability problem Ada Pointer Computing Software engineering Theoretical computer science
466	Perl versiondocumentation - perlthanks NAME perlbug - how to submit bug reports on Perl SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:00:17 Cross-platform software Software bug Bug tracking system Form Patch Regular expression Outline of Perl Computing Software Perl
467	Perl versiondocumentation - perl583delta NAME perl583delta - what is new for perl v5.8.3 DESCRIPTION Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:58:17 Perl Scripting languages Cross-platform software CPAN Software bug Callback Regular expression Perl 6 Software engineering Computing Computer programming
468	The fix-cm package∗ Frank Mittelbach, David Carlisle, Chris Rowley, Walter Schmidt† This file is maintained by the LATEX Project team. Bug reports can be opened (category latex) at http://latex-project.org Add to Reading List Source URL: mirrors.ucr.ac.cr Language: English - Date: 2015-05-12 06:23:16 Computing Donald Knuth Application software Typesetting T1 Computer Modern TS1 PostScript Typeface Typography TeX Digital typography
469	LogiGear Test Plan Template LG-WI-TPT-HQNDate Copyright © 2003, LogiGear Corporation All Rights Reserved W Add to Reading List Source URL: www.testdesigners.com Language: English - Date: 2005-03-28 00:46:35 Quality assurance Software bug Test plan Bug tracking system TPT Test automation Software development process STLC Game testing Software testing Software quality Software
470	In Proc. 3rd Symp. on Networked Systems Design and Implementation (NSDI), San Jose, CA, May, 2006 Pip: Detecting the Unexpected in Distributed Systems Patrick Reynolds∗, Charles Killian†, Janet L. Wiener‡, Jeffrey Add to Reading List Source URL: issg.cs.duke.edu Language: English - Date: 2006-04-18 14:38:37 Parallel computing Thread Futures and promises Computer programming Software engineering Computing Software bug Pip

UPDATE